'''
Created on Mar 21, 2014

@author: vietphv
'''

from snakes.nets import *
from veri.utils import Checker
from pispecs import *

def createNet():
    net = PetriNet('Net')
    net.processes = []
    s1 = Place('s1', ["toto", "toto"])
    s2 = Place('s2', ["tata"])
         
    net.add_place(s1)
    net.add_place(s2)
       
    transition = Transition('t', Expression('True'))
    net.add_transition(transition)
       
    net.add_input('s1', 't', Variable('x'))
    net.add_output('s2', 't', Variable('x'))
    return net

# net = createNet()

chk = Checker()
net = chk.toNet(pigspec)

# net111 = chk.toNet(RDP3_111)
# net112 = chk.toNet(RDP3_112)
# net113 = chk.toNet(RDP3_113)
# net121 = chk.toNet(RDP3_121)
# net122 = chk.toNet(RDP3_122)
# net211 = chk.toNet(RDP3_211)
# net212 = chk.toNet(RDP3_212)
# net221 = chk.toNet(RDP3_221)
# net222 = chk.toNet(RDP3_222)